bitkeeper revision 1.323 (3f0d274cxFM9S7m-tyUGLwmU-YOAbA)

Get the userspace tools to provide a key where one is needed.

diff --git a/tools/control/src/org/xenoserver/control/VirtualDisk.java b/tools/control/src/org/xenoserver/control/VirtualDisk.java
index f99085788dcf8348a11f601a34e4b411e1f1e33f..6d4fde90abf6d038bca098347fe97a8c0f2c0c76 100644 (file)
--- a/tools/control/src/org/xenoserver/control/VirtualDisk.java
+++ b/tools/control/src/org/xenoserver/control/VirtualDisk.java
@@ -109,6 +109,9 @@ public class VirtualDisk {
                 + "segment:"
                 + vbd.getVbdNum()
                 + " "
+               + "key: "
+               + this.getKey()
+               + " "
                 + "extents:"
                 + extents.size()
                 + " ");